结合公钥加密和关键字可搜索加密的加密方案

带关键字搜索的公钥加密(PEKS)是一种有用的加密原语，它允许用户将在加密数据上搜索的功能委托给不可信的第三方服务器，而不影响原始数据的安全性和隐私性。但是，由于缺乏对于数据的加密以及解密能力，PEKS方案不能单独进行使用，必须与标准的公钥加密方案(PKE)相结合。因此，Baek等人在2006年引入了一种新的加密原语，称为结合PKE和PEKS的加密方案(PKE+PEKS)，它同时提供了PKE和PEKS的功能。目前，已有文献提出了几种PKE+PEKS方案。然而，他们都没有考虑关键字猜测攻击的问题。本文提出一个新的高效且能够抵抗关键字猜测攻击的PKE+PEKS方案，与已有方案相比，该方案在性能上有很大的提升，并且在生成关键字和数据密文时，不需要使用双线性对，极大地降低了计算和存储成本。安全性分析表明，本文中所提出的方案能够满足密文隐私安全性、陷门不可区分性和抗关键字猜测攻击的安全性。效率分析表明，本分提出的方案更加高效。     

Thaumasite––direct, woodfordite and other possible formation routes

Two main formation routes for thaumasite exist below 15 °C. One is the direct route from C–S–H reacting with appropriate carbonate, sulfate, Ca²⁺ ions and excess water. The other route is the woodfordite route from ettringite reacting with C–S–H, carbonate, Ca²⁺ ions and excess water, in which thaumasite arises through the intermediate formation of the solid solution woodfordite. The woodfordite route for thaumasite formation appears to be relatively quicker (although still slow) than the direct route, presumably because with the former the ettringite already has the octahedral [M(OH)₆] units that can facilitate the critical change from [Al(OH)₆]³⁻ to [Si(OH)₆]²⁻ groupings. Both routes are mutually dependent on each other. The presence of magnesium salts can modify the path to thaumasite formation. High pressure might be able to stabilise [Si(OH)₆]²⁻ groupings and allow thaumasite to become formed above 15 °C. This possibility is discussed.     

A note on the Gauss-Jacobi quadrature formulae for singular integral equations of the second kind

A fast and efficient numerical method based on the Gauss-Jacobi quadrature is described that is suitable for solving Fredholm singular integral equations of the second kind that are frequently encountered in fracture and contact mechanics. Here we concentrate on the case when the unknown function is singular at both ends of the interval. Quadrature formulae involve fixed nodal points and provide exact results for polynomials of degree 2n − 1, where n is the number of nodes. Finally, an application of the method to a plane problem involving complete contact is presented.     

先张法预应力桥梁板施工工艺及应用实例

结合太原市向阳店桥梁板施工实例，介绍了采用先张法进行预应力桥梁板施工的过程。阐述了桥梁板的施工工艺，该工艺实现了整体张拉、整体放张，使钢绞线逐根受力均匀，施工速度快，能保证梁端的质量。指出拉杆系统的使用，降低了成本，增加了效益。     

Salt-water up-coning during extraction of fresh water from a tropical island

Rainwater can collect in a lens-shaped region within the rock of a tropical island, and may be separated from the underlying salt water by a sharp interface. This paper presents a nonlinear theory for determining the shape of this interface. The island is assumed to be saturated with rain, and provision is made for the outflow of rain-water through the sides of the island. The effect of a bore well on the shape of the interface is investigated, and the problem is solved using a spectral method. An integral-equation method is also presented for the case when the island has infinite width.     

Experimental and numerical investigation of fracture in double-edge notched steel plates

Double-edge notched (DENT) steel plates were pulled until complete fracture and several experimental observations were made (using profilometry and scanning electron microscopy). The essential work of fracture (EWF) model was found to be well verified. Numerical simulations—up to the maximum load only—of some experiments were performed using the finite element method (FEM), and incorporating geometric and material non-linearities (large deformation elasto-plasticity). Some experimental measurements were compared with the corresponding numerical computations and excellent agreement was found.     

Symmetric BEM formulations for 2-D steady-state and transit potential problems

This paper presents a new concept for symmetric boundary element method (SBEM) applicable to 2-D steady-state and transit potential problems. Two kinds of SBEM formulations are derived. Symmetry is obtained simply through matrix manipulation, and no hypersingularity appears. Therefore, SBEM is much easier than the traditional symmetric Galerkin BEM. Compared with the traditional asymmetric BEM, the present SBEM can reduce the computational cost for time domain problems only. However, when applied to BEM/FEM coupling procedure, SBEM can reduce the computational cost for both steady-state and time domain problems. Three numerical examples are included to illustrate the effectiveness and accuracy of the present formulations.     

转炉出钢口套整体袖砖工艺技术开发

介绍了天津天铁冶金集团有限公司炼钢厂转炉出钢口袖砖工艺的开发过程，主要工艺参数的制定，实践证明，该工艺的应用取得了良好的使用效果。     

Bayesian and Dempster-Shafer fusion

The Kalman Filter is traditionally viewed as a prediction-correction filtering algorithm. In this work we show that it can be viewed as a Bayesian fusion algorithm and derive it using Bayesian arguments. We begin with an outline of Bayes theory, using it to discuss well-known quantities such as priors, likelihood and posteriors, and we provide the basic Bayesian fusion equation. We derive the Kalman Filter from this equation using a novel method to evaluate the Chapman-Kolmogorov prediction integral. We then use the theory to fuse data from multiple sensors. Vying with this approach is the Dempster-Shafer theory, which deals with measures of “belief”, and is based on the nonclassical idea of “mass” as opposed to probability. Although these two measures look very similar, there are some differences. We point them out through outlining the ideas of the Dempster-Shafer theory and presenting the basic Dempster-Shafer fusion equation. Finally we compare the two methods, and discuss the relative merits and demerits using an illustrative example.     

燕山石化巨型塔器整体液压连续平移技术

北京燕山石化两巨型塔器在国内首次使用整体液压连续平移技术安装成功。该项技术可缩短工期,降低费用,提高安装的平稳性。